<?php
$a = 10;
while ($a <= 10) {
  $a--;
  printf("a: %d \n", $a);   
  if ($a == 0) {
    exit;
  }
}

?>